901. The theory of models; proceedings

کتابخانه: کتابخانه دانشکده اقتصاد دانشگاه تهران (طهران)

موضوع : Logic Symbolic and mathematical models-Congresses

رده :
BC
135
.
I586

902. The theory of models; proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematical models

رده :
BC
135
.
I586
1963

903. The theory of probability, an inquiry into the logical and mathematical foundations of the calculus of probability

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Mathematics -- Philosophy,، Probabilities,، Logic, Symbolic and mathematical

رده :
QA
9
.
R412
1949

904. The theory of probability, an inquiry into the logical and mathematical foundations of the calculus of probability

پدیدآورنده :

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : ، Mathematics-- Philosophy,، Probabilities,، Logic, Symbolic and mathematical

رده :
QA
9
.
R412
1971

905. The theory of probability, an inquiry into the logical and mathematical foundations of the calculus of probability

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : philosophy ، Mathematics,، Probabilities,، Logic, Symbolic and mathematical

رده :
QA
9
.
R413

906. Theorem proving with the real numbers.

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

رده :
QA76
.
9
.
A96
J646
2012

907. Theorems, corollaries, lemmas, and methods of proof /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Logic, Symbolic and mathematical, Textbooks,Mathematical analysis-- Foundations, Textbooks,Proof theory, Textbooks

رده :
QA9
.
54
.
R668
2006

908. Theorems, corollaries, lemmas, and methods of proof

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Proof theory- Textbooks,Mathematical analysis- Foundations- Textbooks,Logic, Symbolic and mathematical- Textbooks

رده :
QA9
.
54
.
R668
2006

909. Theorems of the 21st century.

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Induction (Mathematics),Logic, Symbolic and mathematical.,Mathematics.,Induction (Mathematics),Logic, Symbolic and mathematical.,MATHEMATICS-- Essays.,MATHEMATICS-- Pre-Calculus.,MATHEMATICS-- Reference.,Mathematics.

رده :
QA37
.
3

910. Theoretical aspects of computing -- ICTAC 2018 :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming / software development.,Computer science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.

رده :
QA76
.
9
.
L63

911. Theory and problems of discrete mathematics

پدیدآورنده :

کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)

موضوع : ، Algebra, Abstract Outlines, syllabi, etc,، Combinatorial analysis Outlines, syllabi, etc,، Discrete mathematics,، Logic, Symbolic and mathematical Outlines, syllabi, etc

رده :
QA
162
.
L56
2007

912. Theory of Finite and Infinite Graphs

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Combinatorics.,Logic, Symbolic and mathematical.,Mathematics.

913. Theory of formal systems /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Logic, Symbolic and mathematical.,Mathematics.,Recursive functions.,Logic, Symbolic and mathematical.,Mathematics.,Recursive functions.,SCIENCE-- System Theory.

رده :
QA248
.
5

914. Thirty Five Years of Automating Mathematics.

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Logic, Symbolic and mathematical.

915. Thirty years of foundational studies; lectures on the development of mathematical logic and the study of the foundations of mathematics in 1930-1964

پدیدآورنده :

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : ، Logic, Symbolic and mathematical,، Mathematics-- Philosophy

رده :
B
28
.
F5
.
A3
Fasc
.
17

916. Three views of logic

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Logic,Logic, Symbolic and mathematical

917. Toposes, Algebraic geometry and logic

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : Congresses ، Categories )Mathematics(,Congresses ، Nosa Detected Damaged Record #4254,Congresses ، Logic, Symbolic and mathematical

رده :
QA
3
.
L28
no
.
274

918. Toposes, algebraic geometry and logic

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Categories )Mathematics(,Congresses ، Geometry, Algebraic,Congresses ، Logic, Symbolic and mathematical,، Toposes

رده :
QA
169
.
T6
1972

919. Toposes, algebraic geometry and logic : Dalhousie University, Halifax, January 16-19, 1971

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Categories )Mathematics(,Congresses ، Geometry, Algebraic,Congresses ، Logic, Symbolic and mathematical,Congresses ، Toposes

رده :
QA
3
.
L28
Vol
.
274

920. Toward "Principia mathematica", 1905-08 /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Whitehead, Alfred North,1861-1947., Principia mathematica.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Filosofie.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Wiskunde.

رده :
B1649
.
R91
1983